Instance Verification Kit (IVK)

mutex lock @ [3818+44+/linux-3.17-rc1/drivers/media/usb/ttusb-budget/dvb-ttusb-budget.c]
Instance Signature: semusb

The Matching Pair Graph:

Function Name
Control Flow Graph (CFG)
Events Flow Graph (EFG)
Source Correspondence
ttusb_boot_dsp [6724+14+/linux-3.17-rc1/drivers/media/usb/ttusb-budget/dvb-ttusb-budget.c]
ttusb_cmd [3553+9+/linux-3.17-rc1/drivers/media/usb/ttusb-budget/dvb-ttusb-budget.c]
ttusb_i2c_msg [4945+13+/linux-3.17-rc1/drivers/media/usb/ttusb-budget/dvb-ttusb-budget.c]
ttusb_init_controller [8979+21+/linux-3.17-rc1/drivers/media/usb/ttusb-budget/dvb-ttusb-budget.c]
ttusb_result [4793+12+/linux-3.17-rc1/drivers/media/usb/ttusb-budget/dvb-ttusb-budget.c]